Challenges in Computational Commutative Algebra
نویسنده
چکیده
In this paper we consider a number of challenges from the point of view of the CoCoA project one of whose tasks is to develop software specialized for computations in commutative algebra. Some of the challenges extend considerably beyond the boundary of commutative algebra, and are addressed to the computer algebra community as a
منابع مشابه
Commutative pseudo BE-algebras
The aim of this paper is to introduce the notion of commutative pseudo BE-algebras and investigate their properties.We generalize some results proved by A. Walendziak for the case of commutative BE-algebras.We prove that the class of commutative pseudo BE-algebras is equivalent to the class of commutative pseudo BCK-algebras. Based on this result, all results holding for commutative pseudo BCK-...
متن کاملNTRU-Like Public Key Cryptosystems beyond Dedekind Domain up to Alternative Algebra
In this paper, we show that the fundamental concepts behind the Ntrū cryptosystem can be extended to a broader algebra than Dedekind domains. Also, we present an abstract and generalized algorithm for constructing a Ntrū-like cryptosystem such that the underlying algebra can be non-commutative or even non-associative. To prove the main claim, we show that it is possible to generalize Ntrū over ...
متن کاملHomogeneous Buchberger algorithms and Sullivant’s computational commutative algebra challenge
We give a variant of the homogeneous Buchberger algorithm for positively graded lattice ideals. Using this algorithm we solve the Sullivant computational commutative algebra challenge1 .
متن کاملMultiplication operators on Banach modules over spectrally separable algebras
Let $mathcal{A}$ be a commutative Banach algebra and $mathscr{X}$ be a left Banach $mathcal{A}$-module. We study the set ${rm Dec}_{mathcal{A}}(mathscr{X})$ of all elements in $mathcal{A}$ which induce a decomposable multiplication operator on $mathscr{X}$. In the case $mathscr{X}=mathcal{A}$, ${rm Dec}_{mathcal{A}}(mathcal{A})$ is the well-known Apostol algebra of $mathcal{A}$. We s...
متن کاملn-fold Commutative Hyper K-ideals
In this paper, we aresupposed to introduce the definitions of n-fold commutative, andimplicative hyper K-ideals. These definitions are thegeneralizations of the definitions of commutative, andimplicative hyper K-ideals, respectively, which have been definedin [12]. Then we obtain some related results. In particular wedetermine the relationships between n-fold implicative hyperK-ideal and n-fol...
متن کامل